Busy beaver - PDFSEARCH.IO - Document Search Engine

Busy beaver
Results: 34

#	Item
21	On the Dynamic Qualitative Behavior of Universal Computation Add to Reading List Source URL: www.complex-systems.com Language: English - Date: 2013-06-19 13:03:42 Theory of computation Turing machine Models of computation Turing completeness Busy beaver Cellular automaton Computability Tag system A New Kind of Science Theoretical computer science Computer science Computability theory
22	A Turing Machine Resisting Isolated Bursts Of Faults Add to Reading List Source URL: cjtcs.cs.uchicago.edu Language: English - Date: 2013-03-28 00:33:04 Computability theory Models of computation Computer science Alan Turing Formal methods Computational complexity theory Cellular automaton Non-deterministic Turing machine Busy beaver Turing machine Theory of computation Theoretical computer science
23	Looking for Busy Beavers. A socio-philosophical study of a computer-assisted proof. Liesbeth De Mol∗ [removed] Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2011-11-29 04:50:50 Computer science Theory of computation Busy beaver Turing machine Halting problem Computable function Alan Turing Mathematical proof Computability Mathematics Theoretical computer science Computability theory
24	arXiv:1311.1029v1 [math.LO] 5 Nov[removed]Problems in number theory from busy beaver competition Pascal MICHEL∗ ´ Add to Reading List Source URL: arxiv.org Language: English - Date: 2013-11-05 20:25:49 Mathematics Models of computation Turing machine Alan Turing Busy beaver Collatz conjecture Computability Computable function Halting problem Computability theory Theoretical computer science Theory of computation
25	Sizes of Up-to-n Halting Testers Antti Valmari Tampere University of Technology FINLAND 1 2 Add to Reading List Source URL: www.cs.tut.fi Language: English - Date: 2012-09-25 12:22:43 Computability theory Turing machine Theory of computation Alan Turing Models of computation Kolmogorov complexity Busy beaver Machine that always halts Time complexity Theoretical computer science Applied mathematics Computer science
26	Busy Beaver Characters Hello, my name is... Teachers’ Tip Now ask students “What’s his name?” Add to Reading List Source URL: busybeavers.com Language: English - Date: 2011-08-22 04:42:55
27	Free University of Bolzano, Prof. J. Nievergelt: Formal Languages, Sem 1, Fall 2006 Oct 02 Models of computation: Ruler and compass, systolic arrays, finite state machines Oct 02 Lab Kara: study examples and write a pr Add to Reading List Source URL: www.jn.inf.ethz.ch Language: English - Date: 2006-11-23 06:52:35 Computability theory Models of computation Turing machine Computability Finite-state machine Automata theory Halting problem Busy beaver Computable function Theoretical computer science Computer science Theory of computation
28	pdf version of the entry Turing Machines http://plato.stanford.edu/archives/sum2013/entries/turing-machine/ First published Thu Sep 14, 1995; substantive revision Tue Jun 26, 2012 Add to Reading List Source URL: leibniz.stanford.edu Language: English - Date: 2014-06-20 10:34:12 Computer science Turing machine Models of computation Alan Turing Computability Busy beaver Halting problem Computable number Church–Turing thesis Theoretical computer science Computability theory Theory of computation
29	pdf version of the entry Turing Machines http://plato.stanford.edu/archives/sum2013/entries/turing-machine/ from the Summer 2013 Edition of the Edward N. Zalta Add to Reading List Source URL: leibniz.stanford.edu Language: English - Date: 2014-06-20 10:34:12 Theory of computation Turing machine Models of computation Alan Turing Computability Busy beaver Church–Turing thesis Computable function Halting problem Computability theory Theoretical computer science Computer science
30	pdf version of the entry Turing Machines http://plato.stanford.edu/archives/sum2013/entries/turing-machine/ PL E Add to Reading List Source URL: leibniz.stanford.edu Language: English - Date: 2014-06-20 10:34:12 Computer science Turing machine Models of computation Alan Turing Computability Busy beaver Halting problem Computable number Church–Turing thesis Theoretical computer science Computability theory Theory of computation

UPDATE